Shumilin A. V., Shumilin A. V. «The main elements of the mandatory entity-role DP model of access and information flows control for PostgreSQL DBMS used in the special-purpose operating system Astra Linux Special Edition» // 2013. №3(21) C.52-67
Kokorin Artem O., Devyanin Petr N., Tievskiy Stanislav D., Devyanin Petr N., Kokorin Artem O., Tievskiy Stanislav D. «Methods for deductive verification of c code using AstraVer Toolset» // Applied Discrete Mathematics. Supplement 2022. №15 C.80-90
